An Appraisal of Robert Brandom's Making it Explicit

his massive Making It Explicit.

284 the fundamental philosophical lessons of EPM. Brandom's study guide and deVries and Triplett's commentary are complementary rather than competing accounts of Sellars's essay. Here we have Brandom's prolegomenon to any future attempt to make it through his massive Making It Explicit. There is nothing in [the six chapters that make up the body of Articulating Reasons] that will come as a surp...

Making knowledge explicit: How hard it is

Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...

TR-2005003: Making Knowledge Explicit: How Hard It Is

Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...

Expressivism and I-Beliefs in Brandom’s Making it Explicit

Making Implicit Parameters Explicit

In almost all languages all arguments to functions are to be given explicitly. The Haskell class system however is an exception: functions can have class predicates as part of their type signature, and dictionaries are implicitly constructed and implicitly passed for such predicates, thus relieving the programmer from a lot of clerical work and removing clutter from the program text. Unfortunat...